FORMAL[1]

FORmula MAnipulation Language

An early FORTRAN extension for symbolic mathematics.

"FORMAL, A Formula Manipulation Language", C. K. Mesztenyi, Computer Note CN-1, Computer Science Dept, University of Maryland (Jan 1971).